1. Applications of declarative programming and knowledge management :
پدیدآورنده : Salvador Abreu, Dietmar Seipel (Eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming, Congresses,Knowledge management, Congresses
رده :
QA76
.
615
.
I58
2011
2. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
3. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
پدیدآورنده : Joao Leite... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
3476
4. Declarative agent languages and technologies IX :
پدیدآورنده : Chiaki Sakama [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
رده :
QA76
.
76
.
I58
C453
2012
5. Declarative agent languages and technologies V
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;
6. Declarative agent languages and technologies V
پدیدآورنده : / Matteo Baldoni ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007
7. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده : Joao Leite...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
8. Declarative systems
پدیدآورنده : / edited by G. David, R. T. Boute, Boute, B. D. Shriver
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
رده :
QA
76
.
9
.
D5I343
1988
9. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A383
2005
10. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
11. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
12. Logic programming and nonmonotonic reasoning :
پدیدآورنده : James P. Delgrande, Wolfgang Faber (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2011
13. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
14. PPDP 2006 : proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
615
.
P6
2006
15. PPDP'05 : proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 11-13, 2005, Lisbon, Portugal
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
615
.
P6
2005
16. PPDP'03 : proceedings of the fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, August 27-29, 2003, Uppsala, Sweden
پدیدآورنده : Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
615
.
P6
2003
17. PPDP'04 : proceedings of the sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy
پدیدآورنده : Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
615
.
P6
2004
18. PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007
پدیدآورنده : sponsored by: SIGPLAN
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
615
.
P6
2007
19. Practical Aspects of Declarative Languages
پدیدآورنده : \ Enrico Pontelli, Tran Cao Son (eds)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Declarative programming languages -- Congresses.,Declarative programming -- Congresses.,Programming Languages, Compilers, Interpreters.,زبان های برنامه نویسی اعلانی -- کنگره ها,برنامه نویسی اعلانی -- کنگره ها
رده :
QA
76
.
615
.
P732
2015
E-Book
,
20. Practical aspects of declarative languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
